graph theory:digraph